From: Keir Fraser <keir.fraser@citrix.com>
Date: Fri, 18 Dec 2009 07:52:03 +0000 (+0000)
Subject: x86_32: Build fix in xenpaging tool.
X-Git-Tag: archive/raspbian/4.8.0-1+rpi1~1^2~12841
X-Git-Url: https://dgit.raspbian.org/%22http://www.example.com/cgi/%22/%22http:/www.example.com/cgi/%22?a=commitdiff_plain;h=e63db5c63e322d13826da893255efaa58e521266;p=xen.git

x86_32: Build fix in xenpaging tool.

Signed-off-by: Keir Fraser <keir.fraser@citrix.com>
---

diff --git a/tools/xenpaging/xenpaging.c b/tools/xenpaging/xenpaging.c
index 02e848016e..2817cb7312 100644
--- a/tools/xenpaging/xenpaging.c
+++ b/tools/xenpaging/xenpaging.c
@@ -20,6 +20,7 @@
  */
 
 
+#include <inttypes.h>
 #include <stdlib.h>
 #include <xc_private.h>
 
@@ -184,7 +185,7 @@ xenpaging_t *xenpaging_init(domid_t domain_id)
         ERROR("Error allocating bitmap");
         goto err;
     }
-    DPRINTF("max_pages = %lx\n", paging->domain_info->max_pages);
+    DPRINTF("max_pages = %"PRIx64"\n", paging->domain_info->max_pages);
 
     /* Initialise policy */
     rc = policy_init(paging);
@@ -565,8 +566,10 @@ int main(int argc, char *argv[])
             }
             else
             {
-                DPRINTF("page already populated (domain = %d; vcpu = %d; gfn = %lx; paused = %ld)\n",
-                        paging->mem_event.domain_id, req.vcpu_id, req.gfn, req.flags & MEM_EVENT_FLAG_VCPU_PAUSED);
+                DPRINTF("page already populated (domain = %d; vcpu = %d;"
+                        " gfn = %lx; paused = %"PRId64")\n",
+                        paging->mem_event.domain_id, req.vcpu_id,
+                        req.gfn, req.flags & MEM_EVENT_FLAG_VCPU_PAUSED);
 
                 /* Tell Xen to resume the vcpu */
                 /* XXX: Maybe just check if the vcpu was paused? */